Application-oriented Spatial Graph Grammars
نویسندگان
چکیده
The Reserved Graph Grammar (RGG) is a general graph grammar Jormalism that expresses a wide range oj visual languages, This paper presents an extension to RGG with the capability oj spatial specification, Graph transJormation satisfying the spatial specification can be performed in the process oj parsing. The RGG with spatial specification can be applied to various types oj applications, The paper demonstrates an exampleJor mathematical expression recognition.
منابع مشابه
Conditional Adaptive Star Grammars
The precise specification of software models is a major concern in the model-driven design of object-oriented software. Models are commonly given as graph-like diagrams so that graph grammars are a natural candidate for specifying them. However, context-free graph grammars are not powerful enough to specify all static properties of a model. Even the recently proposed adaptive star grammars cann...
متن کاملAspects for Graph Grammars
Aspect-oriented programming (AOP) is an extension to the object oriented paradigm that aims to provide better modularity for code that is usually scattered across an object-oriented system such as logging, authentication and distributed object handling. Aspect weaving is a novel way to compose systems, focusing on the integration of system-wide policies through pattern-action rules. While there...
متن کاملDefining Models - Meta Models versus Graph Grammars
The precise specification of software models is a major concern in modeldriven design of object-oriented software. Metamodelling and graph grammars are apparent choices for such specifications. Metamodelling has several advantages: it is easy to use, and provides procedures that check automatically whether a model is valid or not. However, it is less suited for proving properties of models, or ...
متن کاملTowerds Model Checking Graph Grammars
We sketch a setup in which transition systems are generated from graph grammars and subsequently checked for properties expressed in a temporal logic on graphs. We envisage this as part of an approach where graph grammars are used to express the behavioural semantics of object-oriented programs, thus enabling automatic verification of those programs. This paper describes work in progress.
متن کاملDe nition of an Encapsulated Hierarchical Graph Data
Graph grammars have been successfully used as a formalism for the speciication of realistic problems but, as far as speciication-in-the-large activities are concerned, they still have some deeciencies. In particular, most of them only support the use of at graphs, whereas for certain applications hierarchical graphs would be a more suitable modelling tool. Furthermore, there is still the need f...
متن کامل